-l yosys.log -q -s test_icestorm_0.ys
